PyDigger - unearthing stuff about Python


NameVersionSummarydate
lean-dojo 2.2.0 LeanDojo: Machine Learning for Theorem Proving in Lean 2024-12-24 16:59:10
hourdayweektotal
6912887167283668
Elapsed time: 1.81587s